Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
301	Abhinav International Monthly Refereed Journal of Research In Management & Technology ISSN – Volume II, March’13 Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2013-12-17 06:25:29 Knowledge Formal sciences Data mining Data analysis Machine learning Educational data mining Knowledge discovery University student retention ADAPA Statistics Business intelligence Science
302	1/ ForTesSE Formal Testing and System Exploration Laboratoire de Recherche en Informatiquereport Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Software development Science Model-based testing Formal verification Model checking Software verification Verification and validation Software development process Construction and Analysis of Distributed Processes Software testing Formal methods Theoretical computer science
303	ACM SIGSOFT SOFTWARE ENGINEERING NOTES vol 11 no 5 Oct 1988 Page 83 NRL Invitational Workshop Two Approaches Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 19:00:12 Formal verification Logic in computer science Theoretical computer science State space Mathematical analysis Classical cipher Heat equation Applied mathematics Control theory Mathematics
304	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Imperial College London Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-04-25 20:08:55 Computing Concolic testing Symbolic execution Java Pathfinder Test Data Generation Fuzz testing KeY Model checking Dynamic program analysis Software testing Formal methods Software development
305	CONSULTANCY TRANSFORMATION Design and Implementation A project based service, encompassing analysis, design, Add to Reading List Source URL: www.centralis.co.uk Language: English - Date: 2014-04-02 12:44:54 Software testing Science Software project management Method engineering IBM Rational Unified Process Software development process Acceptance testing Information Technology Infrastructure Library Project delivery method Formal methods Software development Information technology management
306	edition 3 / JUNEE T A D Add to Reading List Source URL: www.spss.ch Language: English - Date: 2013-06-01 05:19:07 Data management Formal sciences Data analysis SPSS Natural language processing Text mining ADAPA Data mining Analytics Statistics Business intelligence Science
307	• Cognizant Solution Overview From Information Delivery to Information Socialization Add to Reading List Source URL: world.marklogic.com Language: English - Date: 2015-06-08 15:58:46 Data management Data analysis Formal sciences Information technology management Text analytics Analytics Enterprise information management Master data Cognizant Technology Solutions Business Business intelligence Technology
308	Position in computer sciences at ENSAI Add to Reading List Source URL: www.ensai.fr Language: English - Date: 2015-01-16 10:57:47 Science Data analysis Economy of France INSEE Computer science Data mining Big data Technology Formal sciences Data management
309	Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL Omar Al-Bataineh Tim French Abstract Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2012-04-29 23:34:56 Data management Computing Two-phase commit protocol Model checking Three-phase commit protocol Uppaal Model Checker Formal verification Atomic commit Transmission Control Protocol Transaction processing Data Information
310	DHA-HIT-IATDD-Campaign-TV Flyer-8.5x11 Add to Reading List Source URL: www.defenseinnovationmarketplace.mil Language: English - Date: 2015-05-14 14:47:23 Knowledge Formal sciences Artificial intelligence applications Learning Data analysis Predictive analytics Analytics Machine learning Clinical decision support system Business intelligence Science Statistics

UPDATE